/*
 * irq.h
 *
 *  Created on: Apr 22, 2022
 *      Author: gewenbin
 */

#ifndef SYLIXOS_DRIVER_IRQ_IRQ_H_
#define SYLIXOS_DRIVER_IRQ_IRQ_H_

VOID plicInit(VOID);
VOID plicVectorEnable(UINT32  ulVector);
VOID plicVectorDisable(UINT32  ulVector);
UINT32 plicVectorGet(VOID);
VOID plicVectorAckDone(UINT32  ulVector);
BOOL plicVectorIsEnable(UINT32  ulVector);

#endif /* SYLIXOS_DRIVER_IRQ_IRQ_H_ */
